Visible‐Light‐Promoted Iron‐Catalyzed C(sp 2 )–C(sp 3 ) Kumada Cross‐Coupling in Flow
نویسندگان
چکیده
منابع مشابه
Palladium-catalyzed homocoupling reactions between two Csp(3)-Csp(3) centers.
[reaction: see text] A novel palladium-catalyzed coupling reaction between two Csp(3)-Csp(3) centers has been investigated. This protocol is initiated by the oxidative addition of an alpha-halo carbonyl compound to a palladium(0) species, followed by the double transmetalation. The key dialkyl palladium intermediate undergoes reductive elimination to form the desired coupling product.
متن کاملCOMMUNICATION Direct Csp-Csp cross-coupling of diarylzinc reagents with benzylic, 1°, 2° and 3° alkyl halides**
In this article, we report on the direct Csp-Csp crosscoupling of diarylzinc reagents with benzylic, 1°, 2° and 3° alkyl halides. Under etherate-free conditions, cross-coupling proceeds rapidly at ambient temperature with benzylic, 2° and 3° alkyl halide substrates without addition of an external catalyst. The Csp-Csp cross-coupling has excellent functional group tolerance and products are isol...
متن کاملProof Principles of CSP – CSP-Prover in Practice
The process algebra Csp provides a well-established formalism for the modelling, analysis, and verification of concurrent systems. Besides being a specification language, Csp provides a valuable set of proof principles. We show in tutorial style, how these proof principles are made available in our tool Csp-Prover. Overall, Csp-Prover turns out to be an off-the-shelf proof tool ready for use in...
متن کاملUsing CSP To Improve Deterministic 3-SAT
We show how one can use certain deterministic algorithms for higher-value constraint satisfaction problems (CSPs) to speed up deterministic local search for 3SAT. This way, we improve the deterministic worst-case running time for 3-SAT to O(1.439n).
متن کاملCompiling CSP
CSP, Hoare’s Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs. This paper presents an alternative use for CSP, namely the compilation of CSP systems to executable code. The main motivation for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Angewandte Chemie
سال: 2019
ISSN: 0044-8249,1521-3757
DOI: 10.1002/ange.201906462